Linked data schemata: Fixing unsound foundations
نویسندگان
چکیده
منابع مشابه
Linked data schemata: Fixing unsound foundations
This paper describes our tools and method for an evaluation of the practical and logical implications of combining common linked data vocabularies into a single local logical model for the purpose of reasoning or performing quality evaluations. These vocabularies need to be unified to form a combined model because they reference or reuse terms from other linked data vocabularies and thus the de...
متن کاملMulti-prover Interactive Proofs: Unsound Foundations
Several Multi-Prover Interactive Proofs (MIPs) found in the literature contain proofs of soundness that are lacking. This was first observed [1] in which a notion of Prover isolation is defined to partly address the issue. Furthermore, some existing Zero-Knowledge MIPs suffer from a catastrophic flaw: they outright allow the Provers to communicate via the Verifier. Consequently, their soundness...
متن کاملQuerying incomplete data over extended ER schemata
Since Chen’s Entity-Relationship (ER) model, conceptual modeling has been playing a fundamental role in relational data design. In this paper we consider an extended ER (EER) model enriched with cardinality constraints, disjointness assertions, and is-a relations among both entities and relationships. In this setting, we consider the case of incomplete data, which is likely to occur, for instan...
متن کاملFixing the Domain and Range of Properties in Linked Data by Context Disambiguation
The amount of Linked Open Data available on the Web is rapidly growing. The quality of the provided data, however, is generally-speaking not fundamentally improving, hampering its wide-scale deployment for many real-world applications. A key data quality aspect for Linked Open Data can be expressed in terms of its adherence to an underlying welldefined schema or ontology, which serves both as a...
متن کاملUnsound Inferences Make Proofs Shorter
We give examples of calculi that extend Gentzen’s sequent calculus LK by unsound quantifier inferences in such a way that (i) derivations lead only to true sequents, and (ii) proofs therein are non-elementarily shorter than LK-proofs.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Semantic Web
سال: 2017
ISSN: 2210-4968,1570-0844
DOI: 10.3233/sw-170271